elementary substructure

См. также в других словарях:

• Elementary substructure — In model theory, given two structures mathfrak A 0 and mathfrak A, both of a common signature Sigma, we say that mathfrak A 0 is an elementary substructure of mathfrak A (sometimes notated mathfrak A 0 preceq mathfrak A [Monk 1976: 331 (= Def. 19 …   Wikipedia

• Elementary — Elementary: *Education ** Elementary education, consists of the first years of formal, structured education that occur during childhood. **Elementary school, a school providing elementary or primary education. Historically, a school in the UK… …   Wikipedia

• Substructure — In universal algebra, an (induced) substructure or (induced) subalgebra is a structure whose domain is a subset of that of a bigger structure, and whose functions and relations are the traces of the functions and relations of the bigger structure …   Wikipedia

• Elementary embedding — In model theory, an elementary embedding is a special case of an embedding that preserves all first order formulas.DefinitionGiven models M and N in the same language L, a function: f:M o Nis called an elementary embedding if f(M) is an… …   Wikipedia

• Elementary particle — In particle physics, an elementary particle or fundamental particle is a not known to have substructure; that is, it is not known to be made up of smaller particles. If an elementary particle truly has no substructure, then it is one of the basic …   Wikipedia

• Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

• Tarski-Vaught test — The Tarski Vaught test (sometimes called Tarski s criterion) is a result in model theory which characterizes the elementary substructures of a given structure using definable sets. It is often used to determine whether a substructure of a… …   Wikipedia

• Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

• Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… …   Wikipedia

• List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

• List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia